Modular properties of algebraic pure type systems
نویسندگان
چکیده
We introduce the framework of algebraic pure type systems, a generalisation of pure type systems with higher order rewriting a la Jouannaud-Okada, and initiate a generic study of the modular properties of these systems. We give a general criterion for a system of this framework to be strongly normalising. As an application of our criterion , we recover all previous strong normalisation results for algebraic pure type systems.
منابع مشابه
Modular Properties of Algebraic Type Systems
We introduce the framework of algebraic type systems, a gen-eralisation of pure type systems with higher order rewriting a la Jouannaud-Okada, and initiate a generic study of the modular properties of these systems. We give a general criterion for one system of this framework to be strongly normalising. As an application of our criterion, we recover all previous strong normalisation results for...
متن کاملON THE CAPACITY OF EILENBERG-MACLANE AND MOORE SPACES
K. Borsuk in 1979, at the Topological Conference in Moscow, introduced concept of the capacity of a compactum and asked some questions concerning properties of the capacity ofcompacta. In this paper, we give partial positive answers to three of these questions in some cases. In fact, by describing spaces homotopy dominated by Moore and Eilenberg-MacLane spaces, the capacities of a Moore space $...
متن کاملTHE LATTICE OF CONGRUENCES ON A TERNARY SEMIGROUP
In this paper we investigate some properties of congruences on ternary semigroups. We also define the notion of congruence on a ternary semigroup generated by a relation and we determine the method of obtaining a congruence on a ternary semigroup T from a relation R on T. Furthermore we study the lattice of congruences on a ternary semigroup and we show that this lattice is not generally modular...
متن کاملOn Properties of Monoids That Are Modular for Free Products and for Certain Free Products with Amalgamated Submonoids
A property P of string-rewriting systems is called modular if the disjoint union R 1 R 2 of two string-rewriting systems R 1 and R 2 has this property if and only if R 1 and R 2 both have this property. Analogously, a property P of monoids is modular if the free product M 1 M 2 of two monoids M 1 and M 2 has this property if and only if M 1 and M 2 both have this property. Since the string-rewr...
متن کاملRATIONAL CHARACTER TABLE OF SOME FINITE GROUPS
The aim of this paper is to compute the rational character tables of the dicyclic group $T_{4n}$, the groups of order $pq$ and $pqr$. Some general properties of rational character tables are also considered into account.The aim of this paper is to compute the rational character tables of the dicyclic group $T_{4n}$, the groups of order $pq$ and $pqr$. Some general properties of rational charact...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996